منابع مشابه
Kamenev Type Theorems for Second Order Matrix Differential Systems
We consider the second order matrix differential systems (1) (P(t)Y1)'+ Q(t)Y = 0 and (2) Y" + Q(t)Y = 0 where Y, P , and Q are n x n real continuous matrix functions with P(t) , Q(t) symmetric and P(t) positive definite for t E [to, cc) (P(t) > 0 , t > to) . We establish sufficient conditions in order that all prepared solutions Y(t) of (1) and (2) are oscillatory. The results obtained can be ...
متن کاملA Pure First Order Representation for Undamped Second Order Descriptor Systems
The aim of this paper is to analyze the undamped second order descriptor systems to show the possibility of transform an undamped second order descriptor system to a pure first order descriptor system ,on different ways, while stating some of its benefits. Meanwhile we will introduce pure first order systems and undamped second order systems and indicate that under some assumptions every undamp...
متن کاملSecond-Order Functions and Theorems in ACL2
SOFT (‘Second-Order Functions and Theorems’) is a tool to mimic second-order functions and theorems in the first-order logic of ACL2. Second-order functions are mimicked by first-order functions that reference explicitly designated uninterpreted functions that mimic function variables. First-order theorems over these second-order functions mimic second-order theorems universally quantified over...
متن کاملSecond-order noiseless source coding theorems
I. Kontoyiannis Appeared in IEEE Trans. Inform. Theory, 43, pp. 1339 1341, July 1997. Abstract { Shannon's celebrated source coding theorem can be viewed as a \one-sided law of large numbers." We formulate second-order noiseless source coding theorems for the deviation of the codeword lengths from the entropy. For a class of sources that includes Markov chains we prove a \one-sided central limi...
متن کاملOscillation Theorems for Second Order Nonlinear Differential Equations with Damping
Some oscillation criteria for solutions of a general ordinary differential equation of second order of the form (r(t)ψ(x(t))ẋ(t))+h(t)ẋ(t)+q(t)φ(g(x(t)),r(t)ψ(x(t))ẋ(t)) = H(t,x(t), ẋ(t)) with alternating coefficients are discussed. Our results improve and extend some existing results in the literature. Some illustrative examples are given with its numerical solutions which are computed using R...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1985
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1985-0784181-8